422f7db67944fa5d6c31f94e569a6b768731089d,portal/portal-render-impl/impl/src/java/org/sakaiproject/portal/render/portlet/servlet/SakaiServletRequest.java,SakaiServletRequest,getParameterNames,#,46

Before Change


	@Override
	public Enumeration getParameterNames()
	{
		return new Vector(state.getParameters().keySet()).elements();
	}

	@Override

After Change


	@Override
	public Enumeration getParameterNames()
	{
		final Iterator i = state.getParameters().keySet().iterator();
		return new Enumeration() {

			public boolean hasMoreElements()